Nuprl Definition : qpositive
11,40
postcript
pdf
qpositive(
r
)
== if isint(
r
)
==
then 0 <z
r
==
else let
p
,
q
=
r
in bor(band(0 <z
p
; 0 <z
q
); band(
p
<z 0;
q
<z 0))
==
fi
latex
clarification:
qpositive(
r
)
== if isint(
r
;tt;ff)
==
then 0 <z
r
==
else let
p
,
q
=
r
in bor(band(0 <z
p
; 0 <z
q
); band(
p
<z 0;
q
<z 0))
==
fi
latex
Definitions
if
b
then
t
else
f
fi
,
isint(
z
;
a
;
b
)
,
tt
,
ff
,
let
x
,
y
=
A
in
B
(
x
;
y
)
,
bor(
p
;
q
)
,
band(
p
;
q
)
,
i
<z
j
,
#$n
FDL editor aliases
qpositive
origin